Computability theory

Results: 1231



#Item
181Quantum mechanics / Position operator / De BroglieBohm theory / Laws of science / Computability theory / Linear temporal logic / Redescending M-estimator

On the Uniqueness of Quantum Equilibrium in Bohmian Mechanics S. Goldstein Departments of Mathematics and Physics Rutgers, The State University of New Jersey

Add to Reading List

Source URL: math.rutgers.edu

Language: English - Date: 2007-04-26 11:13:50
182Alan Turing / Cryptography / Turing machine / Computability theory / Models of computation / Codebreaker / Public-key cryptography / Known-plaintext attack / Cipher / Turing / Encryption / Cryptanalysis

ISSNPrint) ISSNOnline) Computer Science for Fun Issue 14

Add to Reading List

Source URL: www.cs4fn.org

Language: English - Date: 2012-11-21 11:20:28
183Computability theory / Theory of computation / Mathematical logic / EACSL / Entscheidungsproblem / Complexity / Computational complexity theory / Algorithm / Decision problem / Dexter Kozen

The Ackermann Award 2015 Anuj Dawar, Dexter Kozen, and Simona Ronchi Della Rocca Members of the Jury of the EACSL Ackermann Award Abstract The eleventh Ackermann Award is presented at CSL’15 in Berlin, Germany. This ye

Add to Reading List

Source URL: drops.dagstuhl.de

Language: English - Date: 2015-09-07 05:28:01
184Theoretical computer science / Formal methods / Mathematical logic / Computability theory / Type theory / Algorithm / Lambda calculus / Combinatory logic / Set theory / Gottlob Frege / Ernst Zermelo

Newman’s Typability Algorithm Herman Geuvers1 Radboud University Nijmegen and Eindhoven University of Technology The Netherlands

Add to Reading List

Source URL: www.cs.ru.nl

Language: English - Date: 2011-11-07 11:07:10
185Lambda calculus / Type theory / Mathematical logic / Theoretical computer science / Software engineering / Computability theory / System F / Calculus / Continuation / Church encoding / Deductive lambda calculus

A type system for Continuation Calculus Herman Geuvers joint work with Bram Geron (Birmingham), Wouter Geraedts (Nijmegen), Judith van Stegeren (Nijmegen) Radboud University Nijmegen and

Add to Reading List

Source URL: www.cs.ru.nl

Language: English - Date: 2014-05-12 17:59:36
186

NONCOMPUTABLE CONDITIONAL DISTRIBUTIONS NATHANAEL L. ACKERMAN, CAMERON E. FREER, AND DANIEL M. ROY Abstract. We study the computability of conditional probability, a fundamental notion in probability theory and Bayesian

Add to Reading List

Source URL: cfreer.org

Language: English - Date: 2011-06-10 23:48:01
    187Automated theorem proving / Logic programming / Logic in computer science / Computability theory / Algebraic topology / Substitution / Unification / Lambda calculus / Sheaf / Scheme / Combinatory logic / Morphism of algebraic varieties

    Scheme-based Theorem Discovery and Concept Invention O. Montano-Rivasa , R. McCaslanda , L. Dixona , A. Bundya a School of Informatics, University of Edinburgh, Informatics Forum, 10 Crichton Street,

    Add to Reading List

    Source URL: dream.inf.ed.ac.uk

    Language: English - Date: 2010-11-08 18:52:08
    188Mathematics / Mathematical logic / Theoretical computer science / Computability theory / Theory of computation / Recursion / Type theory / Structural induction / Mathematical induction / Rippling / Nqthm / Constructible universe

    CLASE 2005 Preliminary Version Constructing Induction Rules for Deductive Synthesis Proofs Alan Bundy† 1,2 Lucas Dixon† 3 Jeremy Gow‡ 4 Jacques Fleuriot† 5

    Add to Reading List

    Source URL: homepages.inf.ed.ac.uk

    Language: English - Date: 2005-05-19 12:03:26
    189Computability theory / Lambda calculus / Recursion / Theoretical computer science / Type theory / Combinatory logic / Church encoding / Initial algebra / Primitive recursive function

    The Church-Scott representation of inductive and coinductive data in (typed) λ calculus Herman Geuvers Radboud University Nijmegen and Eindhoven University of Technology

    Add to Reading List

    Source URL: www.cs.ru.nl

    Language: English - Date: 2014-05-15 11:45:56
    190Computability theory / Mathematical logic / Model theory / Structure / Universal algebra / Reduction / Symbol / Sigma-algebra / Decomposition of spectrum

    Resource-Restricted Indifferentiability? Gr´egory Demay, Peter Gaˇzi, Martin Hirt, and Ueli Maurer Department of Computer Science, ETH Zurich, Switzerland {gregory.demay,peter.gazi,hirt,maurer}@inf.ethz.ch Abstract. A

    Add to Reading List

    Source URL: pub.ist.ac.at

    Language: English - Date: 2014-06-19 17:23:20
    UPDATE